A Model Based Development Approach for Distributed Embedded Systems
نویسندگان
چکیده
Design of reliable distributed systems is stretching limits in terms of complexity since existing development techniques are usually not fully accurate for this type of applications. The main problem is the gap between the various notations used during the development process. Even if UML is a significant step forward, it is not fully suitable for model based development of distributed systems. We present a model based development approach based on Lf P (Language for Prototyping) applied to distributed systems. It emphasizes the use of a model serving as a basis for automatic code generation; strong connections with formal verification techniques enforce correcteness of the system. The paper focuses on the description of code generation techniques.
منابع مشابه
A harmony search-based approach for real-time volt & var control in distribution network by considering distributed generations units
In recent decade, development of telecommunications infrastructure has led to rapid exchange of data between the distribution network components and the control center in many developed countries. These changes, considering the numerous benefits of the Distributed Generators (DGs), have made more motivations for distribution companies to utilize these kinds of generators more than ever before. ...
متن کاملDynamic Planning the Expansion of Electric Energy Distribution Systems Considering Distributed Generation Resources in the Presence of Power Demand Uncertainty
In this paper, a new strategy based on a dynamic (time-based) model is proposed for expansion planning of electrical energy distribution systems, taking into account distributed generation resources and advantage of the techno-economic approach. In addition to optimal placement and capacity, the proposed model is able to determine the timing of installation / reinforcement of expansion options....
متن کاملDesign of A No-chatter Fractional Sliding Mode Control Approach for Stabilization of Non-Integer Chaotic Systems
A nonlinear chattering-free sliding mode control method is designed to stabilize fractional chaotic systems with model uncertainties and external disturbances. The main feature of this controller is rapid convergence to equilibrium point, minimize chattering and resistance against uncertainties. The frequency distributed model is used to prove the stability of the controlled system based on dir...
متن کاملPrediction of Above-elbow Motions in Amputees, based on Electromyographic(EMG) Signals, Using Nonlinear Autoregressive Exogenous (NARX) Model
Introduction In order to improve the quality of life of amputees, biomechatronic researchers and biomedical engineers have been trying to use a combination of various techniques to provide suitable rehabilitation systems. Diverse biomedical signals, acquired from a specialized organ or cell system, e.g., the nervous system, are the driving force for the whole system. Electromyography(EMG), as a...
متن کاملA Virtual Filesystem Framework to Support Embedded Software Development
A VIRTUAL FILESYSTEM FRAMEWORK TO SUPPORT EMBEDDED SOFTWARE DEVELOPMENT We present an approach to simplify the software development process for embedded systems by supporting key development tasks such as debugging, tracing and configuration. The approach is based on the use of distributed filesystem abstractions; principal building blocks within an embedded system in the form of “systems on ch...
متن کاملDisTriB: Distributed Trust Management Model Based on Gossip Learning and Bayesian Networks in Collaborative Computing Systems
The interactions among peers in Peer-to-Peer systems as a distributed collaborative system are based on asynchronous and unreliable communications. Trust is an essential and facilitating component in these interactions specially in such uncertain environments. Various attacks are possible due to large-scale nature and openness of these systems that affects the trust. Peers has not enough inform...
متن کامل